home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / kcl / akcl / akcl1615.lha / cmpnew / sys-proclaim.lisp < prev   
Text File  |  1991-04-07  |  9KB  |  155 lines
  1.  
  2. (IN-PACKAGE "COMPILER") 
  3. (PROCLAIM '(FTYPE (FUNCTION (T) FIXNUM) F-TYPE)) 
  4. (PROCLAIM
  5.     '(FTYPE (FUNCTION (T T) FIXNUM) ANALYZE-REGS PROCLAIMED-ARGD
  6.             ANALYZE-REGS1)) 
  7. (PROCLAIM
  8.     '(FTYPE (FUNCTION (T T T) *) WT-INLINE C2IF C2FLET C2LABELS
  9.             C2COMPILER-LET)) 
  10. (PROCLAIM
  11.     '(FTYPE (FUNCTION (T T T T) *) C1DM-VL C1DM-V C2DM C2RETURN-FROM
  12.             C2APPLY-OPTIMIZE)) 
  13. (PROCLAIM '(FTYPE (FUNCTION (T T *) *) T3DEFUN-AUX)) 
  14. (PROCLAIM
  15.     '(FTYPE (FUNCTION (T T T T) T) C2CALL-GLOBAL WT-GLOBAL-ENTRY
  16.             C2CALL-UNKNOWN-GLOBAL SYSTEM::RECORD-FN C1MAKE-VAR C2SWITCH
  17.             C2STRUCTURE-REF T3DEFUN-VARARG T3DEFUN-NORMAL MY-CALL)) 
  18. (PROCLAIM
  19.     '(FTYPE (FUNCTION (T T T T T) T) T3LOCAL-DCFUN T3LOCAL-FUN T2DEFUN
  20.             T2DEFENTRY T3DEFENTRY C1APPLY-OPTIMIZE C2STRUCTURE-SET
  21.             T3DEFUN-LOCAL-ENTRY T3DEFUN)) 
  22. (PROCLAIM
  23.     '(FTYPE (FUNCTION (T T T) T) ADD-FAST-LINK INLINE-TYPE-MATCHES
  24.             C2FUNCALL-SFUN WT-IF-PROCLAIMED C2LET WT-INLINE-COND
  25.             FIX-DOWN-ARGS WT-INLINE-FIXNUM WT-INLINE-CHARACTER
  26.             ASSIGN-DOWN-VARS WT-INLINE-LONG-FLOAT WT-INLINE-SHORT-FLOAT
  27.             SUBLIS1-INLINE C1DM C1STRUCTURE-REF1 C2CASE GET-INLINE-INFO
  28.             CJT C2LET* CJF T3DEFCFUN CAN-BE-REPLACED* TOO-MANY-ARGS
  29.             TOO-FEW-ARGS C2TAGBODY C2PROGV C2GO CMP-EXPAND-MACRO
  30.             AND-FORM-TYPE C2MAPCAR ADD-FUNCTION-PROCLAMATION
  31.             CHECK-FORM-TYPE ADD-FUNCTION-DECLARATION C2MAPC C2MAPCAN
  32.             C1MAP-FUNCTIONS CHECK-VDECL C2MULTIPLE-VALUE-BIND C2PRINC
  33.             SET-VAR)) 
  34. (PROCLAIM
  35.     '(FTYPE (FUNCTION (T T *) T) C2FUNCALL C2LAMBDA-EXPR INLINE-ARGS)) 
  36. (PROCLAIM
  37.     '(FTYPE (FUNCTION (T T T T T T) T) DEFSYSFUN T2DEFMACRO T3DEFMACRO)) 
  38. (PROCLAIM '(FTYPE (FUNCTION (T T T *) T) WT-SIMPLE-CALL)) 
  39. (PROCLAIM '(FTYPE (FUNCTION NIL *) WT-DATA-FILE WT-FASD-DATA-FILE)) 
  40. (PROCLAIM
  41.     '(FTYPE (FUNCTION NIL T) TAIL-RECURSION-POSSIBLE
  42.             CLOSE-INLINE-BLOCKS C1T CVS-PUSH WT-CVARS
  43.             ADD-LOAD-TIME-SHARP-COMMA WT-C-PUSH RESET-TOP 
  44.             INIT-ENV VS-PUSH BABOON PRINT-CURRENT-FORM
  45.             NO-MAKE-PROCLAIMS-HACK WT-NEXT-VAR-ARG INIT-FN C1NIL
  46.             LIST-UNDEFINED-FUNCTIONS WT-DATA-BEGIN
  47.             LIST-UNCALLED-FUNCTIONS WT-DATA-END CCB-VS-PUSH WFS-ERROR
  48.             CURRENT-FN CLEAR-CALL-TABLE)) 
  49. (PROCLAIM
  50.     '(FTYPE (FUNCTION (*) *) INLINE-BOOLE3 DUMP-FN-DATA 
  51.             MAKE-ALL-PROCLAIMS)) 
  52. (PROCLAIM
  53.     '(FTYPE (FUNCTION (*) T) MAKE-INFO FCALLN-INLINE MAKE-FUN MAKE-VAR
  54.             MAKE-FN MAKE-PROCLAIMS MAKE-TAG WT-CLINK LIST-INLINE CS-PUSH
  55.             LIST*-INLINE MAKE-BLK)) 
  56. (PROCLAIM
  57.     '(FTYPE (FUNCTION (T) *) T1EXPR C2AND C2OR T1EVAL-WHEN WT-LOC
  58.             WT-FIXNUM-LOC WT-CHARACTER-LOC WT-LONG-FLOAT-LOC
  59.             WT-SHORT-FLOAT-LOC C2EXPR CMP-EVAL CMP-TOPLEVEL-EVAL
  60.             WT-TO-STRING SET-LOC C2PROGN)) 
  61. (PROCLAIM
  62.     '(FTYPE (FUNCTION (T) T) C1NTHCDR-CONDITION C1NTHCDR C1LOCAL-FUN
  63.             C1DOWNWARD-FUNCTION C1RPLACA-NTHCDR CMP-MACRO-FUNCTION
  64.             WT-DATA-PACKAGE-OPERATION C2DOWNWARD-FUNCTION C1LIST-NTH
  65.             TYPE-FILTER T1ORDINARY C1BOOLE-CONDITION
  66.             FUNCTION-RETURN-TYPE C1BOOLE3 T1PROGN C1ASH-CONDITION
  67.             CHECK-DOWNWARD VOLATILE C1ASH PUSH-ARGS C1LENGTH
  68.             PUSH-ARGS-LISPCALL NEED-TO-SET-VS-POINTERS FASD-INDEX
  69.             INFO-P FASD-PACKAGE FASD-DIRECTION VARARG-P FASD-EOF
  70.             MAXARGS NAME-TO-SD FASD-TABLE UNWIND-NO-EXIT FASD-STREAM
  71.             WT-DOWNWARD-CLOSURE-MACRO THE-PARAMETER REPLACE-CONSTANT
  72.             ADD-OBJECT FASD-MACRO FASD-TABLE_LENGTH
  73.             ARGS-CAUSE-SIDE-EFFECT C1IF C2FUNCALL-AUX FASD-FILEPOS
  74.             WT-LIST SET-UP-VAR-CVS INFO-CHANGED-VARS C1AND C1FUNOB
  75.             C1DM-BAD-KEY INFO-REFERRED-VARS INFO-TYPE C1OR
  76.             WT-FUNCTION-LINK PARSE-CVSPECS C2DM-RESERVE-VL
  77.             INFO-SP-CHANGE NAME-SD1 WT-FUNCALL-C C1VAR C2DM-RESERVE-V
  78.             INFO-VOLATILE T1DEFUN SAVE-FUNOB T1DEFMACRO REP-TYPE
  79.             AET-C-TYPE C1CATCH WT1 T1CLINES C1ECASE WT-H1 T1DEFCFUN
  80.             C1UNWIND-PROTECT T1DEFENTRY CHECK-VREF T1DEFLA C1THROW
  81.             RECORD-ARG-INFO C1ADD-GLOBALS T1DEFVAR INLINE-POSSIBLE
  82.             C1FLET C2VAR-KIND C1FMLA-CONSTANT SET-PUSH-CATCH-FRAME
  83.             T2ORDINARY C1LET C1LABELS T2DECLARE C1LET* C1MACROLET
  84.             VAR-KIND  FUN-P
  85.             C1LOCAL-CLOSURE T3CLINES C1STACK-LET FUN-NAME FUN-REF
  86.             C2EXPR* FUN-REF-CCB PROCLAIM CTOP-WRITE FUN-CFUN
  87.             PROCLAMATION FUN-LEVEL T1DEFINE-STRUCTURE FIXNUM-LOC-P
  88.             WRITE-BLOCK-OPEN CHARACTER-LOC-P  LONG-FLOAT-LOC-P
  89.             WT-VV INLINE-TYPE C2VAR SHORT-FLOAT-LOC-P WT-CAR C2LOCATION
  90.             WT-CDR C1SETQ WT-CADR C1TAGBODY GET-VAR-TYPES C1PROGV
  91.             WT-VS-BASE GET-VALUE-TYPE1 UNDEFINED-VARIABLE C1GO
  92.             GET-VALUE-TYPE C1PSETQ WT-DOWN C1PROGN ADD-CALLEE C1SWITCH
  93.             RESULT-TYPE-FROM-LOC CMP-MACROEXPAND REGISTER SET-RETURN
  94.             ADD-SYMBOL WT-VS* CMP-MACROEXPAND-1 SET-TOP PUSH-DATA-INCF
  95.             VAR-P ADD-REG1 WT-DATA1 VAR-NAME ADD-LOOP-REGISTERS
  96.             ADD-MACRO-CALLEE VAR-REF C2TAGBODY-LOCAL C1EXPR WT-CCB-VS
  97.             VAR-REF-CCB OBJECT-TYPE C2TAGBODY-BODY FUNCTION-ARG-TYPES
  98.             VAR-LOC C2TAGBODY-CLB C1MAPCAR SCH-LOCAL-FUN VAR-TYPE
  99.             RESET-INFO-TYPE C2TAGBODY-CCB C1MAPLIST EMIT-FN FN-P
  100.             VAR-REGISTER C2GO-LOCAL SCH-GLOBAL C2GO-CLB C1MAPC
  101.             DEFAULT-INIT C2GO-CCB C1MAPL WT-SWITCH-CASE C1MAPCAN
  102.             ADD-CONSTANT VERIFY-DATA-VECTOR C1MAPCON BLK-P BLK-NAME
  103.             GET-ARG-TYPES BLK-REF GET-RETURN-TYPE BLK-REF-CLB FN-NAME
  104.             TAG-P GET-LOCAL-ARG-TYPES BLK-REF-CCB FN-DEF TAG-NAME
  105.             C1MULTIPLE-VALUE-CALL GET-LOCAL-RETURN-TYPE BLK-EXIT C2BIND
  106.             FN-VALUE-TYPE TAG-REF INLINE-BOOLE3-STRING BLK-VALUE-TO-GO
  107.             FN-FUN-VALUES TAG-REF-CLB C1MULTIPLE-VALUE-PROG1
  108.             RESULT-TYPE BLK-VAR FN-CALLEES WT-VS TAG-REF-CCB
  109.             FN-RETURN-TYPE TAG-LABEL C1VALUES GET-INCLUDED FN-ARG-TYPES
  110.             CLINK TAG-UNWIND-EXIT C2VALUES CONS-TO-LISTA FN-NO-EMIT
  111.             TAG-VAR C1MULTIPLE-VALUE-SETQ FN-MACROS TAG-SWITCH
  112.             SYSTEM:UNDEF-COMPILER-MACRO ADD-FN-DATA
  113.             C1MULTIPLE-VALUE-BIND CONSTANT-FOLD-P C1BLOCK C1PRINC
  114.             C1STRUCTURE-REF C1TERPRI C1RETURN-FROM C1VREF C1APPLY
  115.             C1STRUCTURE-SET C1FUNCALL C1RPLACA C2RPLACA C1SHARP-COMMA
  116.             C1RPLACD C1DEFINE-STRUCTURE C1QUOTE C2RPLACD C1FUNCTION
  117.             C1MEMQ C2FUNCTION C1MEMBER C1THE C1EVAL-WHEN C1ASSOC
  118.             C1DECLARE C1COMPILER-LET C1GET C2GET WT-SYMBOL-FUNCTION
  119.             C1NTH-CONDITION C1NTH)) 
  120. (PROCLAIM
  121.     '(FTYPE (FUNCTION (T T) *) WT-INLINE-LOC C1SYMBOL-FUN
  122.             C2RETURN-LOCAL C1BODY C2DECL-BODY C2BLOCK C2BLOCK-LOCAL)) 
  123. (PROCLAIM
  124.     '(FTYPE (FUNCTION (T *) T) C1LAMBDA-EXPR WT-COMMENT C1CASE CMPERR
  125.             FAST-LINK-PROCLAIMED-TYPE-P CMPWARN CMPNOTE UNWIND-EXIT
  126.             ADD-INIT WT-CVAR)) 
  127. (PROCLAIM
  128.     '(FTYPE (FUNCTION (T T) T) TYPE>= MAYBE-EVAL C2LIST-NTH-IMMEDIATE
  129.         COMPILER-CLEAR-COMPILER-PROPERTIES
  130.         compiler-def-hook
  131.             WT-MAKE-DCLOSURE C2CALL-LOCAL C2CALL-LAMBDA CMPFIX-ARGS
  132.             MAKE-INLINE-STRING CO1EQL CO1TYPEP CO1SCHAR ADD-INFO
  133.             CO1CONS C2PSETQ ARGS-INFO-REFERRED-VARS CO1READ-BYTE
  134.             CO1READ-CHAR CO1WRITE-BYTE C1EXPR* CHECK-FNAME-ARGS
  135.             ADD-DEBUG-INFO CO1WRITE-CHAR INLINE-PROC CO1VECTOR-PUSH
  136.             WT-REQUIREDS CO1SPECIAL-FIX-DECL C2LAMBDA-EXPR-WITHOUT-KEY
  137.             CO1SUBLIS C1LAMBDA-FUN WT-V*-MACROS C2LAMBDA-EXPR-WITH-KEY
  138.             C2EXPR-TOP C2EXPR-TOP* C1PROGN* C1ARGS
  139.             CO1STRUCTURE-PREDICATE C1CONSTANT-VALUE COERCE-LOC
  140.             SET-JUMP-TRUE C2DM-BIND-VL ARGS-INFO-CHANGED-VARS
  141.             SET-JUMP-FALSE C2DM-BIND-LOC C2DM-BIND-INIT C2CATCH WT-VAR
  142.             C2UNWIND-PROTECT C2THROW GET-INLINE-LOC NEED-TO-PROTECT
  143.             C1FMLA T2SHARP-COMMA CONVERT-CASE-TO-SWITCH C2STACK-LET
  144.             CAN-BE-REPLACED COERCE-LOC-STRUCTURE-REF SYSTEM::ADD-DEBUG
  145.             UNWIND-BDS SET-DBIND C2BLOCK-CCB TYPE-OR C2SETQ
  146.             C2RETURN-CLB WT-FIXNUM-VALUE C2RETURN-CCB
  147.             WT-CHARACTER-VALUE SHIFT>> WT-LONG-FLOAT-VALUE SHIFT<<
  148.             WT-SHORT-FLOAT-VALUE C1SETQ1 ADD-VALUE-TYPE JUMPS-TO-P
  149.             TYPE-AND PROCLAIM-VAR SET-VS SMALL-ALL-T-P SET-BDS-BIND
  150.             CO1CONSTANT-FOLD PUSH-CHANGED-VARS C2MULTIPLE-VALUE-CALL
  151.             C2BIND-LOC C2BIND-INIT C2MULTIPLE-VALUE-PROG1
  152.             STRUCT-TYPE-OPT C1DECL-BODY FAST-READ C2MULTIPLE-VALUE-SETQ
  153.             CFAST-WRITE MULTIPLE-VALUE-CHECK C2APPLY ADD-ADDRESS
  154.             RECORD-CALL-INFO C2MEMBER!2 C2ASSOC!2 WT-MAKE-CCLOSURE
  155.             C2BLOCK-CLB))